NIL 

ENTER REVAL2:
!     E = (MANNA (QUOTE 2.) (QUOTE 1.))
!     A = NIL
!  ENTER REVAL2:
!  !     E = (MANNA (SUB1 X) (MANNA (DIFFERENCE X Y) Y))
!  !     A = ((X (QUOTE 2.) NIL) (Y (QUOTE 1.) NIL))
!  !  ENTER REVAL2:
!  !  !     E = (MANNA (SUB1 X) (MANNA (DIFFERENCE X Y) Y))
!  !  !     A = ((X (QUOTE 1.) NIL) (Y (MANNA (DIFFERENCE X Y) Y) ((X (QUOTE 2.) NIL) (Y (QUOTE 1.) NIL))) (X (Q→
UOTE 2.) NIL) (Y (QUOTE 1.) NIL))
!  !  REVAL2 = 1.
!  REVAL2 = 1.
REVAL2 = 1.
(1. 23. 3.) 

ENTER OEVAL2:
!     E = (MANNA (QUOTE 2.) (QUOTE 1.))
!     A = NIL
!  ENTER OEVAL2:
!  !     E = (MANNA (SUB1 X) (MANNA (DIFFERENCE X Y) Y))
!  !     A = ((X . 2.) (Y . 1.))
!  !  ENTER OEVAL2:
!  !  !     E = (MANNA (DIFFERENCE X Y) Y)
!  !  !     A = ((X . 2.) (Y . 1.))
!  !  !  ENTER OEVAL2:
!  !  !  !     E = (MANNA (SUB1 X) (MANNA (DIFFERENCE X Y) Y))
!  !  !  !     A = ((X . 1.) (Y . 1.) (X . 2.) (Y . 1.))
!  !  !  !  ENTER OEVAL2:
!  !  !  !  !     E = (MANNA (DIFFERENCE X Y) Y)
!  !  !  !  !     A = ((X . 1.) (Y . 1.) (X . 2.) (Y . 1.))
!  !  !  !  OEVAL2 = 1.
!  !  !  OEVAL2 = 1.
!  !  OEVAL2 = 1.
!  !  ENTER OEVAL2:
!  !  !     E = (MANNA (SUB1 X) (MANNA (DIFFERENCE X Y) Y))
!  !  !     A = ((X . 1.) (Y . 1.) (X . 2.) (Y . 1.))
!  !  !  ENTER OEVAL2:
!  !  !  !     E = (MANNA (DIFFERENCE X Y) Y)
!  !  !  !     A = ((X . 1.) (Y . 1.) (X . 2.) (Y . 1.))
!  !  !  OEVAL2 = 1.
!  !  OEVAL2 = 1.
!  OEVAL2 = 1.
OEVAL2 = 1.
(1. 59. 7.) 


(DEFPROP MANNA
 (LAMBDA (X Y) (IF (EQUAL X (QUOTE 0.)) (QUOTE 1.) (MANNA (SUB1 X) (MANNA (DIFFERENCE X Y) Y))))
EXPR)

NIL